1. Admissible sets and structures
پدیدآورنده : / by Jon Barwise
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
QA9
،.
B379
1975
2. Admissible sets and structures; An approach to definability theory
پدیدآورنده : / Jon Barwise
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Admissible sets,Definability theory
رده :
511
.
3
B296
3. Admissible sets and structures. an approach to definability theory /
پدیدآورنده : Barwise, Jon., Jon Barwise
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
5. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
1975
6. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
7. Handbook of mathematical logic
پدیدآورنده : edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
8. Handbook of mathematical logic
پدیدآورنده : edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
9. Hyperproof ]for the Macintosh[
پدیدآورنده : Barwise, Jon
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Logic, Symbolic and mathematical,، Hyperproof,، Macintosh )Computer(
رده :
P
25
.
C28
No
.
42
10. Information flow :
پدیدآورنده : Jon Barwise, Jerry Seligman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing.
رده :
QA76
.
9
.
D5
B363
1997
11. Language, proof, and logic
پدیدآورنده : \ Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic.,منطق
رده :
BC
61
.
B32L32
1999
E
.
Book
,
12. Language, proof, and logic
پدیدآورنده : / Jon Barwise & John Etchemendy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC61
.
B38
2002
13. Language, proof, and logic
پدیدآورنده : / Jon Barwise & John Etchemendy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC61
.
B38
2002
14. Situations and attitudes
پدیدآورنده : Barwise, Jon.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Semantics )Philosophy(
رده :
B
840
.
B37
1983
15. Situations and attitudes
پدیدآورنده : / Jon Barwise and John perry
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : semantics (philosophy)
رده :
B840
.
S53
1983
16. Studies in model theor
پدیدآورنده : ]by[ Jon Barwise ]and others[ M. D. Morley, editor,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model theory
رده :
QA
.
M67
9
.
7
17. Studies in model theory
پدیدآورنده : )by( Jon Barwise )and others( M. D. Morley, editor
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
S78
18. Tarski's world /
پدیدآورنده : Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Tarski's world,First-order logic
رده :
BC128
.
B35
2008
19. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
پدیدآورنده : edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
رده :
QA
9
.
6
.
K53
1978
20. The Syntax and semantics of infinitary languages
پدیدآورنده : edited by Jon Barwise
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Infinitary languages
رده :
QA
9
.
S95
1968
